<html>
<head><meta charset="utf-8"><title>generator-lifetime · wg-async-foundations · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/index.html">wg-async-foundations</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html">generator-lifetime</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="184746935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/generator-lifetime/near/184746935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html#184746935">(Jan 03 2020 at 16:31)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> I'm working on this issue with your proposal.<br>
I <a href="https://github.com/rust-lang/rust/compare/master...csmoe:generator-lifetime#diff-f3319aa4eabca804b70e3b73e20e19e1R164" target="_blank" title="https://github.com/rust-lang/rust/compare/master...csmoe:generator-lifetime#diff-f3319aa4eabca804b70e3b73e20e19e1R164">retrieved</a> the <code>RegionOutlivesPredicate</code>, then my intuition told me that those predicates should be "mapped" onto <code>Ty</code>s with something like <a href="https://github.com/rust-lang/rust/compare/master...csmoe:generator-lifetime#diff-f3319aa4eabca804b70e3b73e20e19e1R169" target="_blank" title="https://github.com/rust-lang/rust/compare/master...csmoe:generator-lifetime#diff-f3319aa4eabca804b70e3b73e20e19e1R169">.fold_regions</a> . Is this true? Or how can I move forward? help wannted <br>
cc <span class="user-mention" data-user-id="116009">@nikomatsakis</span></p>



<a name="184747229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/generator-lifetime/near/184747229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html#184747229">(Jan 03 2020 at 16:35)</a>:</h4>
<p>I don't think the region predicates currently exist in <code>predicates_of</code></p>



<a name="184747293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/generator-lifetime/near/184747293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html#184747293">(Jan 03 2020 at 16:35)</a>:</h4>
<p>The relevant information exists in some form inside an <code>InferCtxt</code>, but get thrown away after the generator is type-checked</p>



<a name="184747356"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/generator-lifetime/near/184747356" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html#184747356">(Jan 03 2020 at 16:36)</a>:</h4>
<p>I think you'll need to somehow extract the relevant information, and convert it into predicates</p>



<a name="184747419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/generator-lifetime/near/184747419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html#184747419">(Jan 03 2020 at 16:37)</a>:</h4>
<p>If I understand correctly, the information needed here doesn't normally exist outside of <code>typeck_tables_of</code></p>



<a name="184747421"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/generator-lifetime/near/184747421" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> csmoe <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html#184747421">(Jan 03 2020 at 16:37)</a>:</h4>
<blockquote>
<p>I think you'll need to somehow extract the relevant information, and convert it into predicates</p>
</blockquote>
<p>thanks, really help <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span></p>



<a name="184747428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/187312-wg-async-foundations/topic/generator-lifetime/near/184747428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/187312-wg-async-foundations/topic/generator-lifetime.html#184747428">(Jan 03 2020 at 16:37)</a>:</h4>
<p>No problem :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>